Démonstration du lemme de Scheffi :
On veut majorer la norme \(L^1\) de la différence. Pour cela, on décompose \(\lvert X_n-X\rvert\) selon le signe de \(X_n-X\).

On peut utiliser le TCD pour conclure, en utilisant le fait que \(X_n\geqslant0\) (hypothèse).
